Call for Papers ISSN: 1800-279X Ruhuna Journal of Science The Ruhuna Journal of Science (RJS) is an open access, peer-reviewed international research journal published by Faculty of Science, University of Ruhuna, Sri Lan

Source URL: rjs.ruh.ac.lk

Summary of the Year 5 SRI Evaluation of the Linked Learning District Initiative December 2014 For the past five years, SRI International has been conducting an independent evaluation of the Linked Learning District Initi

Source URL: linkedlearning.org

A Security Enforcement Kernel for OpenFlow Networks Phillip Porras† Seungwon Shin‡ Vinod Yegneswaran† Martin Fong† Mabry Tyson† Guofei Gu‡ † SRI International

Source URL: faculty.cs.tamu.edu

A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA {bruno, demoura}@csl.sri.com

Source URL: yices.csl.sri.com

• Theoretical computer science
• Logic
• Mathematics
• Constraint programming
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Simplex algorithm
• Satisfiability

SPECIAL SECTION: LOW ENERGY NUCLEAR REACTIONS Cold fusion: comments on the state of scientific proof Michael C. H. McKubre* SRI International, Menlo Park, CA, USA

Source URL: brillouinenergy.com

2. Effective Approximations of Matching Priors 1. Summary How can we achieve truly robust dense, real-time matching? The strong priors generally available on image correspondence problems, are often used partially and p

Source URL: www.margaritachli.com

• Statistics
• Mathematics
• Random sample consensus
• SRI International
• Matching

Ontological Analysis of Terrain Data Susanne Riehemann Daniel Elenius SRI International

Source URL: doors.stanford.edu

Template-based circuit understanding Adri`a Gasc´on∗ , Pramod Subramanyan† , Bruno Dutertre∗ , Ashish Tiwari∗ Dejan Jovanovi´c∗ , Sharad Malik† ∗ SRI International , ,

Source URL: yices.csl.sri.com

• Computational complexity theory
• Theoretical computer science
• Theory of computation
• Logic in computer science
• Formal methods
• Boolean algebra
• Complexity classes
• Electronic design automation
• Satisfiability modulo theories
• True quantified Boolean formula
• FO
• NC

Tsunami and Conflict in Sri Lanka1 By Randall Kuhn Josef Korbel School of International Studies University of Denver

Source URL: www.gfdrr.org

Exploring the Role of Technology-Based Simulations in Science Assessment: The Calipers Project Edys S. Quellmalz WestEd Angela H. DeBarger, Geneva Haertel, and Patricia Schank SRI International

Source URL: calipers.sri.com